Natural models of set theories
نویسندگان
چکیده
منابع مشابه
Presheaf Models for Constructive Set Theories
We introduce a new kind of models for constructive set theories based on categories of presheaves. These models are a counterpart of the presheaf models for intuitionistic set theories defined by Dana Scott in the ’80s. We also show how presheaf models fit into the framework of Algebraic Set Theory and sketch an application to an independence result. 1. Variable sets in foundations and practice...
متن کاملSet - Theoretical Models of a - Calculus : Theories , Expansions , Isomorphisms *
This paper mainly deals with the models for type free h-calculus defined by Plotkin [IS], Engeler [12] and Scott [22]. (See also [9] for a similar construction.) Plotkin-Scott-Algebras (PSE-Algebras, in view of Engeler’s approach) are built up in a very natural set theoretic way and provide a generalization of early ideas in Scott [20,21]. Namely, the notion of application (interpreting formal ...
متن کاملCentralization and decentralization: Theories and Models
The questions of centralization and decentralization arise in every polity. The constitution or the practice or both have to settle how much of policy making is to be decided by the central government and by component bodies. By and large liberalism and decentralization tend to go together while authoritarianism tends to be associated with centralization. The constitutional model which is gener...
متن کاملPOWERSET OPERATOR FOUNDATIONS FOR CATALG FUZZY SET THEORIES
The paper sets forth in detail categorically-algebraic or catalg foundations for the operations of taking the image and preimage of (fuzzy) sets called forward and backward powerset operators. Motivated by an open question of S. E. Rodabaugh, we construct a monad on the category of sets, the algebras of which generate the fixed-basis forward powerset operator of L. A. Zadeh. On the next step, w...
متن کاملConstructive Set Theories and their Category-theoretic Models
We advocate a pragmatic approach to constructive set theory, using axioms based solely on set-theoretic principles that are directly relevant to (constructive) mathematical practice. Following this approach, we present theories ranging in power from weaker predicative theories to stronger impredicative ones. The theories we consider all have sound and complete classes of category-theoretic mode...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Fundamenta Mathematicae
سال: 1959
ISSN: 0016-2736,1730-6329
DOI: 10.4064/fm-47-2-219-242